Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
181	Towards Maintaining Consistency of Spatial Databases Alia I. Abdelmoty and Chris B. Jones Dept. of Computer Studies, University of Glamorgan, Pontypridd, Mid Glamorgan, CF37 1DL, Wales, U.K. email: aiabdel,cbjones@glam.a Add to Reading List Source URL: users.cs.cf.ac.uk Language: English - Date: 2005-12-13 09:40:57 Cognitive science Cognition Mathematics Computing Knowledge representation Category theory Equivalence of categories Geographic information system Spatial database Object Data model Spatialtemporal reasoning
182	About SGTW \| Search \| Subscribe \| Archive \| Contact SGTW July 26, 2006 Calendar/Meetings Add to Reading List Source URL: www.interactions.org Language: English - Date: 2006-07-26 15:40:10 Physics Particle physics Fermilab Quantum field theory Standard Model Bosons Particle physicists Ashutosh Kotwal Higgs boson Tevatron Large Synoptic Survey Telescope Collider Detector at Fermilab
183	Chapter 8 The “New Psychometrics” – Item Response Theory Classical test theory is concerned with the reliability of a test and assumes that the items Add to Reading List Source URL: personality-project.org Language: English - Date: 2011-08-17 18:37:06 Statistics Psychometrics Statistical models Education Psychology Educational psychology Rasch model Questionnaire construction Item response theory Educational research Logistic function Scale
184	Computational Analysis of Collective Behaviors via Agent-Based Modeling Lilian Weng and Filippo Menczer Abstract Agent-based modeling (ABM) is a common computational analysis tool to study system dynamics. In the framewo Add to Reading List Source URL: lilianweng.github.io Language: English - Date: 2015-11-03 14:25:52 Academia Systems science Systems theory Simulation Complex systems theory Multi-agent systems Operations research Agent-based model Filippo Menczer Meme Internet meme Complex network
185	A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:39:23 Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic
186	13th International Conference on Autonomous Agents and Multiagent Systems (AAMAShttp://aamas2014.lip6.fr Marriott Rive Gauche Add to Reading List Source URL: www.ifaamas.org Language: English - Date: 2013-04-08 02:31:58 Artificial intelligence Multi-agent systems Complex systems theory Simulation Systems science Academia International Conference on Autonomous Agents and Multiagent Systems Agent-based model Sarit Kraus Social simulation Embodied agent Peter Stone
187	Distributed ADMM for Model Predictive Control and Congestion Control João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 Abstract— Many problems in control can be modeled as an optimi Add to Reading List Source URL: www.ee.ucl.ac.uk Language: English - Date: 2013-07-05 07:45:59 Graph theory Augmented Lagrangian method Mathematics Flow network Networks Network theory Routing algorithms Combinatorial optimization
188	Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:16 Mathematics Algebra Mathematical logic Relational model Models of computation Logic in computer science Database theory Lambda calculus Relational algebra Tuple Finitary relation Combinatory logic
189	17th Annual WRF Users’ Workshop, 27 June -1 July, 2016, Boulder, CO Providing Operational GSI and EnKF to the Research Community: 2016 Update Hui Shao1,2, Ming Hu1,3, Don Stark1,2, Chunhua Zhou1,2, and Kathryn Newman1 Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2016-07-01 14:02:56 Statistical theory Statistics Bayesian statistics Estimation theory Meteorology Hurricane Weather Research and Forecasting model Weather forecasting Environmental Modeling Center Statistical forecasting Data assimilation Rapid Refresh Ensemble Kalman filter
190	217 Documenta Math. Stable Maps of Curves Robert F. Coleman Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2003-12-22 16:28:30 Mathematics Mathematical analysis Algebra Algebraic topology Sheaf Model theory Measure theory Functional analysis Representation theory Morphism of algebraic varieties Lifting theory

UPDATE